Real computation - PDFSEARCH.IO - Document Search Engine

Real computation
Results: 106

#	Item
41	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
42	Backtrack-Free Search for Real-Time Constraint Satisfaction? J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, and Georg Ringwelski Cork Constraint Computation Centre University College Cork, Ireland {c.beck, t.carch Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Applied mathematics Mathematics Constraint satisfaction problem Backtracking Local consistency Artificial intelligence Constraint satisfaction Candidate solution Constraint programming Operations research Mathematical optimization
43	Distributed, Real-Time Computation of Community Preferences Thomas Lutkenhouse, Michael L. Nelson, Johan Bollen Old Dominion University Computer Science Department Norfolk, VAUSA Add to Reading List Source URL: www.cs.odu.edu Language: English - Date: 2005-07-25 16:56:24 Computing Networks Bucket Centrality PageRank Recommender system T-bucket Mathematics Graph theory Network theory
44	Differential Equations, Infinite Limits and Real Recursive Functions ´ JOSE´ FELIX COSTA∗ Instituto Superior T´ecnico Add to Reading List Source URL: fgc.math.ist.utl.pt Language: English - Date: 2008-12-02 06:06:34 Mathematical logic Theory of computation Recursion Functions and mappings Primitive recursive function Function Fold Lambda calculus Computable function Mathematics Computability theory Theoretical computer science
45	ON THE EXPONENTIATION OF INTERVAL MATRICES ALEXANDRE GOLDSZTEJN∗ AND ARNOLD NEUMAIER† Abstract. The numerical computation of the exponentiation of a real matrix has been studied intensively. The main objective of a g Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2014-07-30 12:44:13 Algebra Matrix exponential Exponential function Exponentiation Interval arithmetic Matrix Taylor series Mathematical analysis Mathematics Exponentials
46	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:12:29 Elementary mathematics Mathematical constants Transcendental numbers Irrational number Mathematical logic Field theory Transcendental function Number Real number Mathematics Abstract algebra Mathematical analysis
47	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science
48	Spatial Cognition and Computation 2: 355–372, 2000. © 2002 Kluwer Academic Publishers. Printed in the Netherlands. Three dimensional spatial memory and learning in real and virtual environments CHARLES M. OMAN1∗, WA Add to Reading List Source URL: www.recveb.ucsb.edu Language: English Mind Physics Memory Spatial memory Symmetry Perception Rotation Head-mounted display Geometry Euclidean geometry Orientation
49	1 Complexity of Real Approximation: Brent Revisited Chee Yap Courant Institute of Mathematical Sciences Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:24 Theory of computation Hypercomputation Models of computation Computational complexity theory Computability Stephen Smale Algorithm Real computation Complexity Theoretical computer science Mathematics Science
50	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics